Buy Used and New Ofer Strichman Books

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

by Daniel Kroening,Ofer Strichman

ISBN 13: 9783662504963

Format: Hardcover (377 pages)
Publisher: Springer
Published: 27 Jan 2017

Save for later

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

by Daniel Kroening,Ofer Strichman

ISBN 13: 9783662570654

Format: Paperback (377 pages)
Publisher: Springer
Published: 13 Jul 2018

Save for later